Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computers. --- Electronic data processing. --- Ordinateurs --- Informatique --- Computers --- Electronic data processing --- 681.3*A --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- General literature --- Automation --- 681.3*A General literature

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuitive notion of algorithm. It is only in this century that metamathematical problems have led to the intensive search for a precise and sufficiently general formalization of the notions of computability and algorithm. In the 1930s, a number of quite different concepts for this purpose were pro­ posed, such as Turing machines, WHILE-programs, recursive functions, Markov algorithms, and Thue systems. All these concepts turned out to be equivalent, a fact summarized in Church's thesis, which says that the resulting definitions form an adequate formalization of the intuitive notion of computability. This had and continues to have an enormous effect. First of all, with these notions it has been possible to prove that various problems are algorithmically unsolvable. Among of group these undecidable problems are the halting problem, the word problem theory, the Post correspondence problem, and Hilbert's tenth problem. Secondly, concepts like Turing machines and WHILE-programs had a strong influence on the development of the first computers and programming languages. In the era of digital computers, the question of finding efficient solutions to algorithmically solvable problems has become increasingly important. In addition, the fact that some problems can be solved very efficiently, while others seem to defy all attempts to find an efficient solution, has called for a deeper under­ standing of the intrinsic computational difficulty of problems.

Numerical solutions of algebraic equations --- Computer science --- Computational Complexity --- Computational complexity --- Computational complexity. --- Complexité de calcul (Informatique) --- Combinatorics. --- Computers. --- Mathematical logic. --- Algorithms. --- Algebraic geometry. --- Theory of Computation. --- Mathematical Logic and Foundations. --- Algorithm Analysis and Problem Complexity. --- Algebraic Geometry. --- Algebraic geometry --- Geometry --- Algorism --- Algebra --- Arithmetic --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Combinatorics --- Mathematical analysis --- Foundations

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer. Automation --- Cybernetics --- Communication --- Computers --- Information technology --- Ordinateurs --- Technologie de l'information --- Congresses --- Congrès --- Conferences - Meetings --- -Cybernetics --- -Communication --- -Computers --- -#TELE:d.d. Prof. A. J. J. Oosterlinck --- 681.3 --- 681.3*A --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Communication, Primitive --- Mass communication --- Sociology --- Mechanical brains --- Control theory --- Electronics --- System theory --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Computerwetenschap --- General literature --- Congresses. --- 681.3*A General literature --- #TELE:d.d. Prof. A. J. J. Oosterlinck --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Information technology - Congresses --- Cybernetics - Congresses --- Communication - Congresses --- Computers - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lübeck, Germany, in February/March 1997. The 46 revised full papers included were carefully selected from a total of 139 submissions; also included are three invited full papers. The papers presented span the whole scope of theoretical computer science. Among the topics covered are, in particular, algorithms and data structures, computational complexity, automata and formal languages, structural complexity, parallel and distributed systems, parallel algorithms, semantics, specification and verification, logic, computational geometry, cryptography, learning and inductive inference.

Computer science --- Informatique --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Congrès --- Computer science. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer Science. --- Theory of Computation. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Discrete Mathematics in Computer Science. --- Mathematics. --- Information theory. --- Computational complexity. --- Complexity, Computational --- Electronic data processing --- Machine theory --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Computer science—Mathematics. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Programming --- Computer science - Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Are you completely new to programming? Do you want to have fun learning to program? Squeak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve manipulation of robots, or "turtles." You will learn basic programming concepts like loops, abstractions, composition, and conditionals. Each chapter is structured so that it can be turned into a one- or two-hour lab session. And while the structured content explains solid principles of object-oriented programming, you'll just have fun going through the sequence of easy examples with the turtle. And be sure to check out BotsInc, the companion learning environment for this book.

Robots --- Programming --- Programmation --- Artificial intelligence. --- Robotics. --- Robots -- Programming. --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Programming. --- EPUB-LIV-FT LIVINFOR SPRINGER-B --- Robot programming --- Computer science. --- Software engineering. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computer programming --- Computer input-output equipment. --- Hardware and Maker. --- Computer software engineering --- Engineering --- Computer hardware --- Computer I/O equipment --- Computers --- Electronic analog computers --- Electronic digital computers --- Hardware, Computer --- I/O equipment (Computers) --- Input equipment (Computers) --- Input-output equipment (Computers) --- Output equipment (Computers) --- Computer systems --- Input-output equipment